Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Artículo |
Justification logic as a foundation for certifying mobile computation : | Bonelli, Eduardo |
(2011) |
---------- | |
Tesis |
Lógica de pruebas para certificación de computación móvil: | Feller, Federico |
(2009) |
Sala
|
---------- |
Artículo |
The logic of proofs as a foundation for certifying mobile computation : | Bonelli, Eduardo |
(2009) |
---------- |